Languages and Programming - PDFSEARCH.IO - Document Search Engine

Languages and Programming
Results: 5418

#	Item
311	Modular Rollback through Control Logging† Twin pearls in continuation, and a monadic third Olin Shivers () and Aaron Turon () Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-08-21 02:05:20 Compiler construction Procedural programming languages Control characters Functional programming Parsing Delete character Recursive descent parser Forth Monad Lisp Scheme MAD
312	HUMAN ACTION RECOGNITION USING DIVERSE DATA AND SELF-PACED LEARNING STANFORD UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE Add to Reading List Source URL: www.beyang.org Language: English - Date: 2014-01-24 14:49:56 Programming languages Statistical classification Support vector machine Computer vision Pascal
313	Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Object-oriented programming languages Abstract data types Data types Functional programming Object Combinatory logic Objective-C Associative array Self Object-oriented programming Iterator First-class function
314	A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages Guillermo Polito Stéphane Ducasse Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Object-oriented programming languages Programming language implementation Compiler construction Java virtual machine Scripting languages Smalltalk Jikes RVM Interpreter Bootstrapping Pharo Squeak Eval
315	LAC2005 – 3rd International Linux Audio Conference »Linux Sound Night« Tim Blechmann/Thomas Charbonnel Tim Blechmann is both electronic musician and software developer. His software development is focussed on pure d Add to Reading List Source URL: lac.zkm.de Language: English - Date: 2005-06-24 21:08:21 Electronic music Experimental music Software synthesizers Visual programming languages Free audio software Pure Data Computer music Center for Art and Media Karlsruhe Musique concrte Musical improvisation Free improvisation
316	CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-12 20:36:27 Data types Type theory Functional languages Functional programming Procedural programming languages C++ classes Recursive data type ML Parameter Type inference Monad Enumerated type
317	Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:22:51 Object-oriented programming Simulation software Logic in computer science Modelica Scientific modeling Modeling language Operational semantics Semantics Domain-specific language OpenModelica Wolfram SystemModeler
318	Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl Add to Reading List Source URL: models2014.webs.upv.es Language: English - Date: 2014-09-22 10:28:27 Compiler construction Formal languages Parsing Programming language implementation Parser generators Syntax Compiler LR parser Scannerless parsing XPL PLY Model-driven engineering
319	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
320	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath

UPDATE